-
1 truth table method
метод истинных таблиц
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > truth table method
-
2 truth table method
Большой англо-русский и русско-английский словарь > truth table method
-
3 truth-table method
Большой англо-русский и русско-английский словарь > truth-table method
-
4 truth table method
Вычислительная техника: метод истинностных таблиц -
5 truth-table method
Математика: метод истинности таблиц -
6 truth table method
English-Russian dictionary of computer science and programming > truth table method
-
7 truth-table method
-
8 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
9 method
1) метод; способ (см. тж. technique 1)2) ООП метод (функция - элемент определения класса (class) в языке Smalltalk, в C++ - см. member function)•- alphageometric method
- Amble's method
- ancestor method
- assembly method
- basic access method
- bibliography method
- bit-level method
- branch and bounds method
- buffering method
- building-block method
- chaining method
- checksum method
- coded pattern method
- conditional delay method
- constraint satisfaction method
- critical path method
- cut-and-try method
- cutset method
- dark-spot method
- data access method
- deductive method
- derivative approximation method
- diagonal method
- diagram method
- dichotomy method
- digital sorting method
- direct access method
- exhaustive method
- false position method
- finished method
- finitary method
- finite difference method
- flip-chip method
- flooding method
- flowgraph method
- frequency analysis method
- gradient method
- graphic access method
- heuristic method
- hierarchical access method
- hit-and-miss method
- Horner's method
- hunt-and-stick method
- index register method
- indexed-sequential access method
- inline-code method
- inverse power method
- inverse transformation method
- issue method
- iteration method
- least-squares method
- left-edge method
- lightweight formal method
- linkage method
- longest route method
- machine method
- maximum-likelihood method
- method of quickest descent
- method of selected point
- method of successive approximations
- Monte-Carlo method
- net method
- Newton's method
- nonrestoring method
- N-pass method
- numerical method
- operational method
- opposition method
- overlay method
- part-continuous method
- partitioned access method
- pencil-and-paper method
- perturbation method
- piezoelectric sensing method
- ping-pong method
- power method
- predictor-corrector method
- programming method
- progressive-part method
- proprietary method
- pure virtual method
- queued access method
- queued indexed sequential access method
- radial exploration method
- random-walk method
- recursive descendant method
- regular falsi method
- resetting method
- resident access method
- review article method
- row-by-row method
- rubber band method
- Runge-Kutta method
- saddle point method
- sampling method
- scale factor method
- scan-set method
- scheduling method
- scissors and paste method
- secant method
- sectioning method
- semigroup method
- sequential access method
- shortcut method
- shortcut multiplication method
- sieve method
- simplex method
- single-path instruction method
- sit-by-me instuction method
- state-space method
- steepest descent method
- step-by-step method
- stroke method
- subject profile method
- symbolic method
- symbolical method
- syntactic method
- synthetic method
- target method
- telecommunication access method
- temporal difference method
- time-domain method
- touch method with ten fingers
- trial-and-error method
- truth table method
- variable separation method
- variable-metric method
- variational method
- variation method
- V-brush method
- vernier pulse-timing method
- virtual method
- wire-wrap method
- zero-deflection methodEnglish-Russian dictionary of computer science and programming > method
-
10 метод истинностных таблиц
Большой англо-русский и русско-английский словарь > метод истинностных таблиц
-
11 метод истинности таблиц
Большой англо-русский и русско-английский словарь > метод истинности таблиц
-
12 _T
См. также в других словарях:
Table (information) — Tabular redirects here. For the typewriter key, see tab key. For sortable tables in Wikipedia, see Help:Sorting An example table rendered in a web browser using HTML. A table is a means of arranging data in rows an … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
State transition table — In automata theory and sequential logic, a state transition table is a table showing what state (or states in the case of a nondeterministic finite automaton) a finite semiautomaton or finite state machine will move to, based on the current state … Wikipedia
History of scientific method — The history of scientific method is inseparable from the history of science itself. The development and elaboration of rules for scientific reasoning and investigation has not been straightforward; scientific method has been the subject of… … Wikipedia
Combs method — The Combs method is a method of writing fuzzy logic rules described by William E. Combs in 1997. It is designed to prevent combinatorial explosion in fuzzy logic rules. The Combs method takes advantage of the logical equality . Contents 1… … Wikipedia
Leibniz: truth, knowledge and metaphysics — Nicholas Jolley Leibniz is in important respects the exception among the great philosophers of the seventeenth century. The major thinkers of the period characteristically proclaim the need to reject the philosophical tradition; in their… … History of philosophy
Āryabhaṭa's sine table — is a set of twenty four of numbers given in the astronomical treatise Āryabhaṭiya composed by the fifth century Indian mathematician and astronomer Āryabhaṭa (476–550 CE), for the computation of the half chords of certain set of arcs of a circle … Wikipedia
Ubu and the Truth Commission — is a South African play by Jane Taylor first performed under the directorship of William Kentridge at The Laboratory in Johannesburg s Market Theatre [Before the end of 1998, the Market Theatre had already staged three plays on the Truth and… … Wikipedia
Proposed Indian Round Table Conference 1922 — Descriptions of what happened vary greatly (listed from the most to least probable) 1. Malaviya Proposed Round Table, The Viceroy Lord Reading Agreed, Mahatma Gandhi Sabotages the Idea [http://www.houseofdavid.ca/Ind uni.htm#Read Read p 194 5]… … Wikipedia
5. THE TABLE (al-Ma'idah) — In the name of God, the Gracious, the Merciful. 1. O you who believe! Fulfill your commitments. Livestock animals are permitted for you, except those specified to you; but not wild game while you are in pilgrim sanctity. God decrees whatever He… … Quran. Talal Itani translate
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
